A Formal Approach to Data Validation Constraints in MDE
نویسندگان
چکیده
Software security encompasses the measures taken to ensure confidentiality, integrity and availability in software systems. In present-day software development, security is often an afterthought rather than part of the software development life-cycle. In order to reveal potential security flaws before a software system is actually implemented, security aspects should be taken into account starting from the early phases of the development. With model-driven engineering (MDE) gaining momentum in both academia and industry, an interesting challenge is the specification of security constraints within software models. In this paper we focus on data validation – the process of ensuring that a system operates on correct and meaningful data – in the context of MDE. Our contribution is a formal approach to the specification of data validation constraints which involve multiple structural properties. In addition, constraints specified at model level are mapped to Java annotations which are then transformed to executable tests by an existing data validation framework.
منابع مشابه
Data Validation Constraints in MDE
Software security encompasses all the measures taken to ensure confidentiality, integrity and availability in software systems. In present-day software development, security is often just an afterthought rather than part of the software development life-cycle. In order to reveal potential security flaws before a software system is actually implemented, security aspects should be taken into acco...
متن کاملIncremental Validation of Models in a MDE Approach Applied to the Modeling of Complex Data Structures
In this paper, we propose an incremental validation method in the scope of a Model Driven Engineering (MDE) approach used to develop XML Schema models. The suggested MDE approach is based on an abstraction layer thanks to UML class diagrams, and on a series of transformations allowing the definition of XML Schema models. Our method of validation aims at minimizing model errors and optimizing th...
متن کاملA Proof Assistant Based Formalization of components in MDE
Model driven engineering (MDE) now plays a key role in the development of safety critical systems through the use of early validation and verification of models, and the automatic generation of software and hardware artifacts from the validated and verified models. In order to ease the integration of formal specification and verification technologies, various formalizations of the MDE technolog...
متن کاملTeaching MDE through the Formal Verification of Process Models
Model Driven Engineering (MDE) and formal methods (FM) play a key role in the development of Safety Critical Systems (SCS). They promote user oriented abstraction and formal specification using Domain Specific Modeling Languages (DSML), early Validation and formal Verification (V&V) using efficient dedicated technologies and Automatic Code and Documentation Generation. Their combined use allow ...
متن کاملMoDeVVa 2010 Workshop Summary
The MoDeVVa workshop series is focused on Model-Driven Engineering, Verification, and Validation. Models are purposeful abstractions. They are used to support the focus on the important aspects and to make complex systems easy to understand. Beyond their use as documentation, models can also be used for automatic transformation or code generation. For this, a formal foundation of models with fi...
متن کامل